Multiple Conclusion Rules in Logics with the Disjunction Property

We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics

Change of Positive Selection Pressure on HIV-1 Envelope Gene Inferred by Early and Recent Samples

HIV-1 infection has been on the rise in Japan recently, and the main transmission route has changed from blood transmission in the 1980s to homo- and/or hetero-sexual transmission in the 2000s. The lack of early viral samples with clinical information made it difficult to investigate the possible virological changes over time. In this study, we sequenced 142 full-length env genes collected from 16 Japanese subjects infected with HIV-1 in the 1980s and in the 2000s. We examined the diversity change in sequences and potential adaptive evolution of the virus to the host population. We used a codon-based likelihood method under the branch-site and clade models to detect positive selection operating on the virus. The clade model was extended to account for different positive selection pressures in different viral populations. The result showed that the selection pressure was weaker in the 2000s than in the 1980s, indicating that it might have become easier for the HIV to infect a new host and to develop into AIDS now than 20 years ago and that the HIV may be becoming more virulent in the Japanese population. The study provides useful information on the surveillance of HIV infection and highlights the utility of the extended clade models in analysis of virus populations which may be under different selection pressures

RT-SHIV subpopulation dynamics in infected macaques during anti-HIV therapy

<p>Abstract</p> <p>Background</p> <p>To study the dynamics of wild-type and drug-resistant HIV-1 RT variants, we developed a methodology that follows the fates of individual genomes over time within the viral quasispecies. Single genome sequences were obtained from 3 pigtail macaques infected with a recombinant simian immunodeficiency virus containing the RT coding region from HIV-1 (RT-SHIV) and treated with short-course efavirenz monotherapy 13 weeks post-infection followed by daily combination antiretroviral therapy (ART) beginning at week 17. Bioinformatics tools were constructed to trace individual genomes from the beginning of infection to the end of the treatment.</p> <p>Results</p> <p>A well characterized challenge RT-SHIV inoculum was used to infect three monkeys. The RT-SHIV inoculum had 9 variant subpopulations and the dominant subpopulation accounted for 80% of the total genomes. In two of the three monkeys, the inoculated wild-type virus was rapidly replaced by new wild type variants. By week 13, the original dominant subpopulation in the inoculum was replaced by new dominant subpopulations, followed by emergence of variants carrying known NNRTI resistance mutations. However, during ART, virus subpopulations containing resistance mutations did not outgrow the wide-type subpopulations until a minor subpopulation carrying linked drug resistance mutations (K103N/M184I) emerged. We observed that persistent viremia during ART is primarily made up of wild type subpopulations. We also found that subpopulations carrying the V75L mutation, not known to be associated with NNRTI resistance, emerged initially in week 13 in two macaques. Eventually, all subpopulations from these two macaques carried the V75L mutation.</p> <p>Conclusion</p> <p>This study quantitatively describes virus evolution and population dynamics patterns in an animal model. The fact that wild type subpopulations remained as dominant subpopulations during ART treatment suggests that the presence or absence of at least some known drug resistant mutations may not greatly affect virus replication capacity <it>in vivo</it>. Additionally, the emergence and prevalence of V75L indicates that this mutation may provide the virus a selective advantage, perhaps escaping the host immure system surveillance. Our new method to quantitatively analyze viral population dynamics enabled us to observe the relative competitiveness and adaption of different viral variants and provided a valuable tool for studying HIV subpopulation emergence, persistence, and decline during ART.</p

International Network for Comparison of HIV Neutralization Assays: The NeutNet Report II

BACKGROUND: Neutralizing antibodies provide markers for vaccine-induced protective immunity in many viral infections. By analogy, HIV-1 neutralizing antibodies induced by immunization may well predict vaccine effectiveness. Assessment of neutralizing antibodies is therefore of primary importance, but is hampered by the fact that we do not know which assay(s) can provide measures of protective immunity. An international collaboration (NeutNet) involving 18 different laboratories previously compared different assays using monoclonal antibodies (mAbs) and soluble CD4 (Phase I study). METHODS: In the present study (Phase II), polyclonal reagents were evaluated by 13 laboratories. Each laboratory evaluated nine plasmas against an 8 virus panel representing different genetic subtypes and phenotypes. TriMab, a mixture of three mAbs, was used as a positive control allowing comparison of the results with Phase I in a total of nine different assays. The assays used either uncloned virus produced in peripheral blood mononuclear cells (PBMCs) (Virus Infectivity Assays, VIA), or Env (gp160)-pseudotyped viruses (pseudoviruses, PSV) produced in HEK293T cells from molecular clones or from uncloned virus. Target cells included PBMC and genetically engineered cell lines in either single- or multiple-cycle infection format. Infection was quantified by using a range of assay read-outs including extra- or intra-cellular p24 antigen detection, luciferase, beta-galactosidase or green fluorescent protein (GFP) reporter gene expression. FINDINGS: Using TriMab, results of Phase I and Phase II were generally in agreement for six of the eight viruses tested and confirmed that the PSV assay is more sensitive than PBMC (p = 0.014). Comparisons with the polyclonal reagents showed that sensitivities were dependent on both virus and plasma. CONCLUSIONS: Here we further demonstrate clear differences in assay sensitivities that were dependent on both the neutralizing reagent and the virus. Consistent with the Phase I study, we recommend parallel use of PSV and VIA for vaccine evaluation

Heterosubtypic Neutralizing Monoclonal Antibodies Cross-Protective against H5N1 and H1N1 Recovered from Human IgM+ Memory B Cells

Background: The hemagglutinin (HA) glycoprotein is the principal target of protective humoral immune responses to influenza virus infections but such antibody responses only provide efficient protection against a narrow spectrum of HA antigenic variants within a given virus subtype. Avian influenza viruses such as H5N1 are currently panzootic and pose a pandemic threat. These viruses are antigenically diverse and protective strategies need to cross protect against diverse viral clades. Furthermore, there are 16 different HA subtypes and no certainty the next pandemic will be caused by an H5 subtype, thus it is important to develop prophylactic and therapeutic interventions that provide heterosubtypic protection. Methods and Findings: Here we describe a panel of 13 monoclonal antibodies (mAbs) recovered from combinatorial display libraries that were constructed from human IgM+ memory B cells of recent (seasonal) influenza vaccinees. The mAbs have broad heterosubtypic neutralizing activity against antigenically diverse H1, H2, H5, H6, H8 and H9 influenza subtypes. Restriction to variable heavy chain gene IGHV1-69 in the high affinity mAb panel was associated with binding to a conserved hydrophobic pocket in the stem domain of HA. The most potent antibody (CR6261) was protective in mice when given before and after lethal H5N1 or H1N1 challenge. Conclusions: The human monoclonal CR6261 described in this study could be developed for use as a broad spectrum agent for prophylaxis or treatment of human or avian influenza infections without prior strain characterization. Moreover, the CR6261 epitope could be applied in targeted vaccine strategies or in the design of novel antivirals. Finally our approach of screening the IgM+ memory repertoire could be applied to identify conserved and functionally relevant targets on other rapidly evolving pathogens